home *** CD-ROM | disk | FTP | other *** search
/ BUG 1 / BUGCD1996_0708.ISO / pc / util / minilin / minilin.exe / USR / LIB / MAN_CONF.{_6 < prev    next >
Text File  |  1994-05-29  |  2KB  |  69 lines
  1. #
  2. # Generated automatically from man.config.in by the
  3. # configure script.
  4. #
  5. # man.config
  6. #
  7. # This file is read by man to configure the mandatory manpath, to
  8. # map each path element to a manpath element and to determine where the
  9. # "man" binary lives.  The format is:
  10. #
  11. # MANBIN                pathname
  12. # MANDATORY_MANPATH            manpath_element
  13. # MANPATH_MAP        path_element    manpath_element
  14. #
  15. # MANBIN is optional
  16. #
  17. # It is also read by man in order to find how to call nroff, less, etc.,
  18. # and to determine the correspondence between extensions and decompressors.
  19. #
  20. #MANBIN        /usr/local/bin/man
  21. #
  22. # Every automatically generated MANPATH includes these fields
  23. #
  24. MANDATORY_MANPATH    /usr/man
  25. MANDATORY_MANPATH    /usr/local/man
  26. MANDATORY_MANPATH    /usr/X386/man
  27. #
  28. # Set up PATH to MANPATH mapping
  29. #
  30. # (these mappings are superfluous when the right hand side is
  31. # in the mandatory manpath already, but will keep man from statting
  32. # lots of other nearby files and directories)
  33. #
  34. MANPATH_MAP    /bin            /usr/man
  35. MANPATH_MAP    /sbin            /usr/man
  36. MANPATH_MAP    /usr/bin        /usr/man
  37. MANPATH_MAP    /usr/local/bin        /usr/local/man
  38. MANPATH_MAP    /usr/X386/bin        /usr/X386/man
  39. MANPATH_MAP    /usr/bin/X11        /usr/X386/man
  40. MANPATH_MAP    /usr/bin/mh        /usr/man
  41. #
  42. # Useful paths
  43. #
  44. TROFF        /usr/bin/groff -Tps -mandoc
  45. NROFF        /usr/bin/groff -Tascii -mandoc
  46. EQN        /usr/bin/geqn -Tps
  47. NEQN        /usr/bin/geqn -Tascii
  48. TBL        /usr/bin/gtbl
  49. COL        /usr/bin/col
  50. REFER        /usr/bin/grefer
  51. PIC        /usr/bin/gpic
  52. VGRIND        
  53. GRAP        
  54. PAGER        /usr/bin/less -s
  55. #
  56. # Compress cat pages
  57. #
  58. COMPRESS    /bin/gzip
  59. COMPRESS_EXT    .gz
  60. #
  61. # Decompress with given decompressor when input file has given extension
  62. # The command given must act as a filter.
  63. #
  64. .gz        /usr/bin/zcat
  65. .z        /usr/bin/zcat
  66. .Z        /usr/bin/zcat
  67. .F        
  68. .Y        
  69.